coinduction相关论文
目的:采用权重配方法分析咪唑安定(Mid)、芬太尼(Fen)和异丙酚(Pro)联合诱导时在镇静、催眠上相互作用的性质.方法:60例美国麻醉协......
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被......